SqStable($P$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\downarrow$$P$) $\Rightarrow$ $P$